301. Automated deduction in geometry : Second International Workshop, ADG'98, Beijing, China, August 1998 : proceedings
Author: Xiao-Shan Gao, Dongming Wang, Lu Yang )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1669
302. Automated deduction in geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
Author: Hoon Hong, Dongming Wang )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
3763
303. Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
Author:
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: Congresses ، Geometry - Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
448
.
D38
I577
2004
304. Automated deduction in geometry: 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
Author: Hoon Hong, Dongming Wang )eds.(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، Geometry - Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
448
.
D38
I577
2004
305. Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers
Author: Franz Winkler )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
2930
306. Automated deduction in geometry: 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002: revised papers
Author: Franz Winkler )ed.(
Library: Central Library and Documentation Center (Kerman)
Subject: Data processing - Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
448
.
D38
I577
2002
307. Automated deduction in geometry: third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000: revised papers
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Geometry-- Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
448
.
D38
.
I577
2000
308. Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
Author: Jurgen Richter-Gebert, Dongming Wang, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
2061
309. Automated deduction in multiple-valued logics
Author: Hahnle, Reiner
Library: Central Library and Documentation Center (Kerman)
Subject: ، Automatic theorem proving,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
A96
H34
1993
310. Automation of Reasoning :
Author: edited by Jörg H. Siekmann, Graham Wrightson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
A96
E358
1983
311. Axiomatic analysis; an introduction to logic and the real number system, under the general editorship of David Vernon Widder
Author: Katz, Robert
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Aggregates,، Logic, Symbolic and mathematical
Classification :
QA
248
.
3
.
K3
312. Axiomatic theory of sets and classes
Author: Eisenberg, Murray
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Axiomatic set theory,، Logic, Symbolic and mathematical
Classification :
QA
248
.
E37
313. Basic Concepts of Synthetic Differential Geometry
Author: by René Lavendhomme.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Cell aggregation-- Mathematics.,Global differential geometry.,Logic, Symbolic and mathematical.,Mathematics.
314. Basic concepts of mathematics and logic
Author: / Michael C. Gemignani
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Mathematics,Logic, Symbolic and mathematical
Classification :
510
Ge-B
315. Basic concepts of mathematics and logic
Author: Gemignani, Michael C
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
39
.
G38
316. Basic concepts of mathematics and logic
Author: / Michael C. Gemignani
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Mathematics,Logic, symbolic and mathematical
Classification :
QA39
.
G38
317. Basic laws of arithmetic :
Author: by Gottlob Frege ; translated and edited by Philip A. Ebert & Marcus Rossberg, with Crispin Wright and the advice of Michael Beaney [and nine others] ; appendix by Roy T. Cook.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Arithmetic-- Foundations.,Logic, Symbolic and mathematical.,Arithmetic-- Foundations.,Logic, Symbolic and mathematical.,Mathematics.
Classification :
BC135
.
F85
318. Basice concepts of mathematics and logic
Author: Gemignani,Michel C
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
39
.
G38
319. Beginning logic
Author: / E. J. Lemmon,Lemmon
Library: Central Library of Astan Quds Razavi-Hall of Foreign Books (Khorasan Razavi)
Subject: Logic, Symbolic and mathematical
Classification :
621
.
395
L554B
320. Benginning Logic
Author: / E. J. Lemmon
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Logic,symbolic and mathematical
Classification :
511
.
3
L554B
